Formal system - PDFSEARCH.IO - Document Search Engine

Formal system
Results: 1034

#	Item
981	A SECURPI’Y POLICY AND FORMAL TOP LEVEL SPEC~CATiON FOR A MULTI-LEVEL SECURE LOCAL AREA NETWOIW (Extended Abstract) Add to Reading List Source URL: www.cs.washington.edu Language: English - Date: 2007-04-07 00:44:02 Steganography Computer network security NSD Trusted Computer System Evaluation Criteria Multilevel security Bell–LaPadula model Network security Mediation Overt channel Computer security Security Covert channel
982	Curry An Integrated Functional Logic Language Version 0.8.3 Add to Reading List Source URL: www-ps.informatik.uni-kiel.de Language: English - Date: 2012-09-11 10:34:08 Type theory Data types Formal methods Procedural programming languages Theoretical computer science Curry Function Variable Type system Software engineering Computing Programming language theory
983	CHAPTER 1: THE PEANO AXIOMS MATH 378, CSUSM. SPRING[removed]AITKEN Add to Reading List Source URL: public.csusm.edu Language: English - Date: 2009-05-19 22:20:27 Elementary mathematics Formal systems Cardinal numbers Logic in computer science Peano axioms Number system Axiomatic system Axiom Function Mathematics Logic Mathematical logic
984	A Tableau System for Natural Logic and Natural Reasoning Reinhard Muskens Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2011-04-24 14:07:30 Semantics Formal languages Computational linguistics Metalogic Algebraic logic Method of analytic tableaux Categorial grammar Simply typed lambda calculus Lambda calculus Logic Mathematical logic Mathematics
985	Number of Institutions in Formal School System by Jurisdiction in Bangkok Metropolis and other Provinces : Academic Year 2005 Add to Reading List Source URL: www.moe.go.th Language: English - Date: 2007-04-27 05:40:19 College Youth Higher education Bangkok Community college State school Education in Thailand Higher education in Canada Education Vocational education Educational stages
986	Mathematical Linguistics ´s Kornai Add to Reading List Source URL: www.helsinki.fi Language: English - Date: 2002-07-09 07:49:28 Mathematical logic Axiom Mathematical proof Function Semantics Type theory Theory Formal system Set theory Logic Mathematics Science
987	684 IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOL. 15, NO. 6, JUNE 2007 Add to Reading List Source URL: www.cs.unc.edu Language: English - Date: 2007-08-30 12:00:36 Electronics Logic gates Formal methods Computer memory Flip-flop Pipeline Asynchronous system C-element Static timing analysis Electronic engineering Computer architecture Digital electronics
988	It goes against the grain of modern education to teach students to program. What fun is there to making plans, acquiring discipline, Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-10-15 10:51:08 Elementary arithmetic Binary operations Extended Backus–Naur Form Backus–Naur Form Formal grammar Number Numerical digit Binary numeral system Addition Formal languages Mathematics Compiler construction
989	An Introduction to Asynchronous Circuit Design Al Davis1 Add to Reading List Source URL: www1.cs.columbia.edu Language: English - Date: 2001-02-12 18:15:59 Electrical circuits Clock signal Synchronization Formal methods Digital electronics Asynchronous system Asynchronous circuit Counter Clock skew Electronic engineering Electronics Electromagnetism
990	On the notion of “software independence” in voting systems Ronald L. Rivest Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2013-06-02 16:29:11 Electronic voting Voter-verified paper audit trail Voluntary Voting System Guidelines Independent verification systems Voting machine Election recount Voting system Election Markup Language Formal verification Election technology Politics Software independence

UPDATE